arm: driver for the generic timer for ARMv7
authorStefano Stabellini <stefano.stabellini@eu.citrix.com>
Thu, 9 Feb 2012 11:33:30 +0000 (11:33 +0000)
committerStefano Stabellini <stefano.stabellini@eu.citrix.com>
Thu, 9 Feb 2012 11:33:30 +0000 (11:33 +0000)
commitddee56dc299439c21524adeed103219205b5a7b9
tree7b343b9692d9e19c2f855967dd74c77e8b2daa61
parentafc22739360166d405e2450ea72b95401690f52a
arm: driver for the generic timer for ARMv7

Driver for the generic timer for ARMv7 with virtualization extensions.
Currently it is based on the kernel timer rather than the hypervisor timer
because the latter does not work correctly on our test environment.

Signed-off-by: Stefano Stabellini <stefano.stabellini@eu.citrix.com>
Signed-off-by: Ian Campbell <ian.campbell@citrix.com>
Signed-off-by: Tim Deegan <Tim.Deegan@citrix.com>
Committed-by: Ian Campbell <ian.campbell@citrix.com>
xen/arch/arm/time.c [new file with mode: 0644]
xen/include/asm-arm/time.h [new file with mode: 0644]